Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems
نویسندگان
چکیده
We introduce a formal semantic-based modelling framework to model, specify and verify the functional and adaptive behaviour of synchronous adaptive systems.
منابع مشابه
Using Abstraction in Modular Verification of Synchronous Adaptive Systems
Self-adaptive embedded systems autonomously adapt to changing environment conditions to improve their functionality and to increase their dependability by downgrading functionality in case of failures. However, adaptation behaviour of embedded systems significantly complicates system design and poses new challenges for guaranteeing system correctness, in particular vital in the automotive domai...
متن کاملRELIABILITY-BASED DESIGN OPTIMIZATION OF COMPLEX FUNCTIONS USING SELF-ADAPTIVE PARTICLE SWARM OPTIMIZATION METHOD
A Reliability-Based Design Optimization (RBDO) framework is presented that accounts for stochastic variations in structural parameters and operating conditions. The reliability index calculation is itself an iterative process, potentially employing an optimization technique to find the shortest distance from the origin to the limit-state boundary in a standard normal space. Monte Carlo simulati...
متن کاملModular Design and Verification of Distributed Adaptive Real-Time Systems
A promising way to cope with complexity in verifying large systems is to perform modular verification where components are verified separately. However, in the context of adaptive systems, it is difficult to apply this principle because adaptation behaviour and functional behaviour are often intertwined. In this paper, we present and apply a design pattern for distributed adaptive real-time sys...
متن کاملEffect of brief self-regulation couple therapy in conflict resolution and couple burnout
Unconstructive conflict resolution and couple burnout have a negative impact on quality of marital life. Brief self-regulation couple therapy is one of the effective approaches in transmission teachings and marital skills to couples. The aim of the current research was to investigate the effect of brief self-regulation couple therapy in conflict resolution and couple burnout among troubled coup...
متن کاملTen Years of Analyzing Actors: Rebeca Experience
In this paper, we provide a survey of the different analysis techniques that are provided for the modeling language Rebeca. Rebeca is designed as an imperative actor-based language with the goal of providing an easy to use language for modeling concurrent and distributed systems, with formal verification support. Throughout the paper the language Rebeca and the supporting model checking tools a...
متن کامل